(note_mouse_highlight): Change the cursor shape
authorGerd Moellmann <gerd@gnu.org>
Tue, 28 Nov 2000 13:45:56 +0000 (13:45 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 28 Nov 2000 13:45:56 +0000 (13:45 +0000)
commit158a33cc4de10df1e339e4212dc7f882e70075fb
treed2a9beeb8328d12e809a52627f84f66086cb3420
parent17470ae28e96887be9c655ec964bf2bf655bcb8a
(note_mouse_highlight): Change the cursor shape
on the vertical border between windows.
src/xterm.c